TRACTABLE DATA-FLOW ANALYSIS FOR DISTRIBUTED SYSTEMS

Automated behavior analysis is a valuable technique in the development and maintainence of distributed systems. In this paper, we present a tractable dataflow analysis technique for the detection of unreachable states and actions in distributed systems. The technique follows an approximate approach described by Reif and Smolka, but delivers a more accurate result in assessing unreachable states and actions. The higher accuracy is achieved by the use of two concepts: action dependency and history sets. Although the technique, does not exhaustively detect all possible errors, it detects nontrivial errors with a worst-case complexity quadratic to the system size. It can be automated and applied to systems with arbitrary loops and nondeterministic structures. The technique thus provides practical and tractable behavior analysis for preliminary designs of distributed systems. This makes it an ideal candidate for an interactive checker in software development tools. The technique is illustrated with case studies of a pump control system and an erroneous distributed program. Results from a prototype implementation are presented

From a traditional library to a new digital library: HKSKH Ming Hua Theological College Library case sharing

The paper will use the HKSKH Ming Hua Theology College Library (香港聖公會明華神學院圖書館) in Hong Kong as a case study to discuss how a traditional smaller library can change to a new digital library to support learning, teaching and research activities of the college. This case shares how MH library has developed its digital library, based on the framework of usability attributes: learnability; efficiency; memorability; errors; satisfaction in development of a digital library with a one-stop searching library catalogue in PC and mobile versions; global classrooms; in-house digital resources as well as collaborative teaching to provide library workshops that develop the digital literacy skills of users.postprin

The effect of the ground plane size and the height on small PIFA

This is the post-print version of the article - Copyright @ ISAP 201

The effect of the mutual coupling on small reconfigurable antennas

Copyright @ ISAP 201

Message from the General Chairs

published_or_final_versio

Numerical study on scattering and absorption by periodically arranged acoustical treatment at oblique incidence

Starting from p. 3207 of this journal issue is proceedings of ACOUSTICS 2012 HONG KONGSession 2aNSb (Contributed Papers) - Noise: Numerical Methods in Noise I: abstract 2aNSb2The propagation of sound over an impedance strip has been a topic of interest in sound abatement design. Excess absorption by the periodical arrangement of two or more distinct impedance conditions has been shown by various theoretical and experimental studies. It is believed that the scattering by the impedance discontinuities can enhance the absorption in some designs. This gives motivation to design a more elaborate set of impedance distribution within one periodic module. In this study, the scattering and absorption by periodically-arranged acoustical treatment at oblique incidence is investigated using the spectral method of Chebyshev collocation. The effects on the sound absorption and reflection by the length of the repeating unit, the angle of incidence and scattering characteristics due to the discontinuities of the acoustical impedance are analyzed. Central to the method is the derivation of out-going waves which allows scattered sound of all directions to leave the computational domain without reflection. The full picture of scattering is captured and analyzed using a rather coarse set of grid suitable for further optimization studies.published_or_final_versio

A fixed-frequency pulsewidth modulation based quasi-sliding-mode controller for buck converters

Author name used in this publication: Chi K. TseAuthor name used in this publication: Martin K. H. Cheung2005-2006 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe

A new fast sub-optimal search method for closed-loop transmit diversity system with limited number of feedback bits

IEEE Radio and Wireless Conference, Atlanta, Georgia, USA, 19-22 September 2004In this paper, we present a fast sub-optimal searching algorithm for the closed-loop transmit diversity scheme used in wireless system. Under the low mobility condition and with perfect channel knowledge at the receiving end, our proposed searching algorithm can use a limited number of feedback bits to provide a sub-optimal solution that can achieve the SNR values close to the optimal solution with a greatly reduced complexity and outperform other sub-optimal schemes. The scheme also works well under the presence of feedback errors. © 2004 IEEE.published_or_final_versio

Adaptive feedforward and feedback control schemes for sliding mode controlled power converters

Author name used in this publication: Chi K. TseAuthor name used in this publication: Martin K. H. Cheung2005-2006 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe